<?php
	session_start();
	// copy needed form data from $_POST array
	if (isset($_GET['searchStr'])) {
		$_SESSION['searchStr'] = $_GET['searchStr'];
		header('Location: "http://cg3002-05-z.comp.nus.edu.sg/admin-panel/search.php?searchStr=$_GET['searchStr']");
	}
 ?>